The LEO-II Project
نویسندگان
چکیده
LEO-II, a resolution based theorem prover for classical higher-order logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We briefly discuss the main objectives of the project. The LEO-II project is funded by EPSRC under grant EP/D070511/1.
منابع مشابه
The Leo-III Project
We introduce the recently started Leo-III project — a Higher-Order Logic Theorem Prover and successor to LEO-II.
متن کاملProgress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic⋆
Leo-II, a resolution based theorem prover for classical higherorder logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We report on the current stage of development of LeoII. In particular, we sketch some main aspects of Leo-II’s automated proof search procedure, discuss its cooperation with firs...
متن کاملProduction Efficiency of Farmers under National Fadama II Project in Oyo State, Nigeria
The study examines production efficiency of farmers under National Fadama-II Project in Oyo State Nigeria. Primary data were collected from two hundred and sixty-four farmers using multistage sampling technique. The analytical framework used for the study include: descriptive, infrastructure index, gross margin and stochastic frontier production function. Average infrastructural index in the ar...
متن کاملPopulation II standard candle calibration of the Fundamental Plane of groups and clusters of galaxies and the Hubble Constant
Hubble’s constant (H0) is calculated using the Fundamental Plane (FP) relation between half-light radius, surface brightness, and velocity dispersion for groups and clusters of galaxies. The Tip of the Red Giant Branch (TRGB), a standard candle based on the constant luminosity of low-mass stars at helium core flash, is used to calibrate the cluster FP. TRGB stars yield the distances to the near...
متن کاملA multi-objective resource-constrained optimization of time-cost trade-off problems in scheduling project
This paper presents a multi-objective resource-constrained project scheduling problem with positive and negative cash flows. The net present value (NPV) maximization and making span minimization are this study objectives. And since this problem is considered as complex optimization in NP-Hard context, we present a mathematical model for the given problem and solve three evolutionary algorithms;...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007